Slightly Commutative Kleene Semigroups
نویسندگان
چکیده
منابع مشابه
Crossability of cancellative Kleene semigroups
Every cancellative Kleene semigroup satisfies Eilenberg's theorem. Résumé. — Si S est un semigroupe simplifiable de type Kleene, alors S satisfait le théorème d'Eilenberg.
متن کاملVarieties of Commutative Semigroups
In this paper, we describe all equational theories of commutative semigroups in terms of certain well-quasi-orderings on the set of finite sequences of nonnegative integers. This description yields many old and new results on varieties of commutative semigroups. In particular, we obtain also a description of the lattice of varieties of commutative semigroups, and we give an explicit uniform sol...
متن کاملTotally Ordered Commutative Semigroups
Let 5( + , < ) be a system consisting of a set S endowed with an associative binary operation + and a total ( = linear = simple) order relation < . The composition + and the relation < may be connected by either or both of the following conditions. MC (Monotone Condition). If a and b are elements of 5 such that ax+y ...
متن کاملParikh's Theorem in Commutative Kleene Algebra
Parikh’s Theorem says that the commutative image of every context free language is the commutative image of some regular set. Pilling has shown that this theorem is essentially a statement about least solutions of polynomial inequalities. We prove the following general theorem of commutative Kleene algebra, of which Parikh’s and Pilling’s theorems are special cases: Every finite system of polyn...
متن کاملEquations on Semidirect Products of Commutative Semigroups
In this paper; we study equations on semidirect products of commutative semigroups. Let Comq,r denote the pseudovariety of all finite semigroups that satisfy the equations xy = yx and x r + q = xr. The pseudovariety Com1,1 is the pseudovariety of all finite semilattices. We consider the product pseudovariety Comq,r * generated by all semidirect products of the form S*T with S ∈ Comq,r and T ∈ ,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1997
ISSN: 0021-8693
DOI: 10.1006/jabr.1996.6958